program testValueNumberingAlgebraicMinusA;

class testValueNumberingAlgebraicMinusA
BEGIN
   
   VAR aa, bb, cc, dd : integer;

FUNCTION testValueNumberingAlgebraicMinusA;
BEGIN
   aa := 5;
   bb := aa - aa
END

END
.

